Propositional Logic - The Axioms